Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
251	An Asynchronous PLA with Improved Security Characteristics Petros Oikonomakos, Simon Moore University of Cambridge, Computer Laboratory William Gates Building, 15 JJ Thomson Avenue Cambridge CB3 0FD, United Kingdom {po23 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-24 17:29:45 Logic gates Electronic design automation Logic families Electronic design Flip-flop Dynamic logic Programmable logic device Programmable logic array C-element Electronic engineering Digital electronics Electronics
252	Trends in Modern Business Process Simulation Tools Kit Jones Christine McCarty SEPG North America March 2009 Add to Reading List Source URL: www.simprocess.net Language: English - Date: 2009-03-23 12:41:03 Mind Science Operations research Simulation CACI Software Engineering Process Group Scientific modelling Ethology Logic simulation Software development process Modeling and simulation Electronic design automation
253	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem: Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2014-11-21 09:25:33 Logic in computer science Electronic design automation Formal methods NP-complete problems Model theory Satisfiability Modulo Theories Satisfiability Boolean satisfiability problem Decision problem Theoretical computer science Mathematics Mathematical logic
254	69 EXHIBITOR Simulation commands Engineers at the world’s Add to Reading List Source URL: www.carsim.com Language: English - Date: 2012-08-15 16:44:58 Application software Simulation software Science Vehicle dynamics Electronic design automation Simulink Multibody system Simulation Mathematical model Mathematical modeling CarSim Mathematics
255	Developing Local & National Sport for All Movements Globally Introduction The TAFISA Reach Out program, developed with IOC support, aims to build national awareness, cooperation and strategic development of Sport for All Add to Reading List Source URL: www.tafisa.net Language: English - Date: 2014-12-06 09:05:49 Electronic design automation Network On Chip
256	ORACLE DATA SHEET AUTOVUE EDA PROFESSIONAL KEY FEATURES AND BENEFITS KEY FEATURES Add to Reading List Source URL: www.axavia.com Language: English - Date: 2011-08-31 03:15:01 Electronics manufacturing Electronic design Diagrams PCB Printed circuit board Schematic Gerber format DesignSpark PCB Altium Designer Electronic engineering Electronic design automation Electronics
257	EE432 Advanced Digital Design with HDL Spring 2013 Week 3 Lecture Topic, April 16 We will start with a general review of using state machines to control logic circuits. Then we will look at handling multiple state machin Add to Reading List Source URL: www.almy.us Language: English - Date: 2013-03-26 21:54:07 Electronic design automation Hardware description languages Firmware VHDL Microcode Counter Flip-flop One-hot Electronic engineering Electronics Digital electronics
258	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
259	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
260	Corporate Backgrounder Spring 2015 Synopsys Overview and History Synopsys, Inc. (Nasdaq:SNPS) is the Silicon to Software™ partner for innovative companies developing the electronic products and software applications we Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-05-20 16:43:19 Hillsboro Oregon Synopsys Digital electronics Signoff Logic synthesis High-level synthesis Xilinx Magma Design Automation EDA database Electronic engineering Electronic design automation Electronic design

UPDATE